proj1/src/3.py: fixed search sat procedure