12x−17=12x−17 no solution one solution