Solve {a+b+c==2, a+d+e==3, b+d+f==3, b+e+f==4} over integers