0.29/1.00	unsat
