I think that imperator was not so bad
to formulate unsolvable problem before girls.
His bound K was established kindly acording with opportunities of two girls and young programmers. So good greedy must work.