8.72/9.85	unsat
