It is cool how even for such a "simple looking" problem, we were still unable to prove optimality as of 2020.