6.47/7.47	unsat
