Is there some constructive approach? I solved it with some tricky bruteforce with optimizations