6.47/7.82	unsat
