It defaults to the maximum resolution of the first clip that you import. So if you import a 720p movie first and want to export to 4k later on, you can't. You can export smaller but not larger. To export at 4K, you have to get rid of everything, import a 4k clip, and put everything back. And even then, resolutions are preset, you can't do a custom resolution.