[math-fun] Amateurs find planet with 4 (four) suns!