6.47/9.96	unsat
