0.92/1.11	unsat
