Najde určitě řešení (pokud existuje)?