8.26/9.85	unsat
