0.93/1.11	unsat
