{a==2*c, a+2*b==3*c+d, a==2*d, b==c}