--- zimpl-362/check/minlp.pip.ref.orig	2024-09-12 23:08:28.000000000 -0600
+++ zimpl-362/check/minlp.pip.ref	2025-01-15 15:31:47.835678296 -0700
@@ -31,7 +31,7 @@ Subject to
  c1_1:
   -1 x#1 +1 x#1^2 = 1
  c2_1:
-  +30 x#1 * x#2 * x#3 <= 77
+  +30 x#2 * x#3 * x#1 <= 77
  c3_1:
   +1 y * z -4 y^2 * z^3 = 0
  c4_1:
@@ -40,7 +40,7 @@ Subject to
  c5_1:
   +2 y +5 z +1 y * z = -7
  c6_1:
-  +4 x#1^2 +2.66666666666667 x#1 * x#2 +0.444444444444444 x#2^2 = 9
+  +4 x#1^2 +2.66666666666667 x#2 * x#1 +0.444444444444444 x#2^2 = 9
  c7_1_a_0:
   - __c7_1_t_0@d + a = 0
  c7_1_b_1: