6.47/9.65	unsat
