6.28/7.82	unsat
