6.58/7.47	unsat
