solve 12 + ? = 17