RUN: $(magic_square_sat)