7.18/9.85	unsat
