Thread:7o'clock/@comment-36217795-20200529134121/@comment-33992908-20200529152946

We don't have enough information on actual solving methods, i.e. how they work and how to apply them.