0.92/1.10	unsat
