7.58/10.74	unsat
