6.58/7.06	unsat
