What would be the proper extension to "save to file" in this game? I thought it was an .sol extension but it refuses to load.