5.58/9.06	unsat
