6.47/7.48	unsat
