0.72/1.00	unsat
