6.47/7.29	unsat
