ff := (x1+x2+x3+1)*(x2+x3+1);
