Are you required to load SAS 64 bit on a Windows 64 bit machine (windows 8, in this case)? Or can you use SAS 32 bit?