With our setup we have two servers clustered together. I would like to know if we need to buy a license for both servers or since they are clustered and will never be used at the same time we can buy one.