RUN: $(cover_rectangle_sat_py3)