6.58/7.46	unsat
