9.66/9.85	unsat
