Sum of three cubes for 42 finally solved—using real life planetary ...