1.39/2.95	unsat
