6.58/7.57	unsat
