+ check sat blob