[math-fun] The Muffin Problem -- my gang solved one of your conjectures