solve (abs(x+7)-abs(x-a) - 3*a-3)*(abs(x+7)-abs(x-a) - 10*a+3)=0 for x