Post #1825587

@mnalis @thomas we're permanently rolling the dice as well, re-submitting for re-evaluation. Takes almost 24h each time to get the "failed" result back – their bots are not as fast as one should think, when it comes to really _solving_ problems (they seem better at causing such 🙊 💨 )