0.39/1.00	unsat
