7.71/8.74	unsat
