Solve for x 9-x<=17