It would be option 1. Two separate domains (hosted on the same server).
Right now, the best idea we've had is to host both domains from the same codebase and database. Then, serve different stylesheets and minor content changes (loading different template parts) based on the URL.