0.93/1.17	unsat
