% params: -sa inst_gen -updr off -fde none
% res: unsat


fof(u6,axiom, a = b ).
fof(u6,axiom, f(a) = b ).
fof(u6,axiom, $sum(1,2) = 3 ).
fof(u6,axiom, p(X)).
fof(u6,axiom, q).
fof(u6,axiom, f(b) != a).
