6.47/7.30	unsat
