0.92/1.02	unsat
