8.87/9.68	unsat
