0.39/1.20	unsat
