added sanity checker to compute sats