K= a (Ca, ac) sat* a (SO, ac) sat/ a (CaSO, s)