het 𝕏-algoritme was niet opgelost