6.58/7.48	unsat
