6.48/7.85	unsat
