0.82/1.00	unsat
