[CB-4872]-figuring out satisy function