6.47/9.48	unsat
