To follow up, try typing uname -a on your department Unix machine to identify the kernel. While it may look like Unix, I would be genuinely surprised if it was SCO Unix, since I've never heard of any universities running it this decade.