8.66/9.68	unsat
