6.08/9.87	unsat
