solve {a+b+c=x1, a+b+d=x2, a+c+d=x3, a+2b=x4} for a, b, c, d