7.60/9.85	unsat
