What is the solution for 5-2x=12