0.84/1.00	unsat
