0.93/1.00	unsat
