SpaceChem, and the difficulty thereof