Zbrisala brezvezn počasn kvazi dpll.