[Houshalter]

Yes but they admit that the problem is extremely hard. They aren't sure if they can solve it, or if it can be solved.