8.68/8.74	unsat
