show sat_count/2 example for both * and +