8.68/9.57	unsat
