検索したらグロダンディエクの素数だった

その値は57