0.39/1.17	unsat
