0.68/1.00	unsat
