solve((a+2b,2a+3c,3)=(2-c,12-b,a+b+c))