revert to previous ssat-optimized - sound is equal but is faster