7.58/9.73	unsat
