6.08/10.00	unsat
