7.48/7.82	unsat
