1.39/3.95	unsat
