0.89/1.00	unsat
