6.47/9.13	unsat
