6.58/7.73	unsat
