solve b+c=1, a+2*c=3, -a-b+c=0