Nevertheless recently puzzle 120 and 125 got solved by the same persons or group of people which make us doubt that there are indeed a hidden formula that is being used to solve the puzzles that have their pub keys revealed by those unknown group of people. We believe the same solvers are currently trying to solve 130 now too. Which has over 13 BTC now.