А как они проверили правильность решения, если на перепроверку уйдут септиллионы лет?