0.26/1.00	unsat
