Neki kar zgleda kot delujoč dpll...