0.97/1.00	unsat
