0.96/1.00	unsat
