6.08/9.89	unsat
