+|+|
|+|+
++||
||++
|++|
If(If(input_0 < input_2, input_0, input_2) <
   If(input_1 < input_3, input_1, input_3),
   If(input_0 < input_2, input_0, input_2),
   If(input_1 < input_3, input_1, input_3))

If(If(If(input_0 < input_2, input_0, input_2) >
      If(input_1 < input_3, input_1, input_3),
      If(input_0 < input_2, input_0, input_2),
      If(input_1 < input_3, input_1, input_3)) <
   If(If(input_0 > input_2, input_0, input_2) <
      If(input_1 > input_3, input_1, input_3),
      If(input_0 > input_2, input_0, input_2),
      If(input_1 > input_3, input_1, input_3)),
   If(If(input_0 < input_2, input_0, input_2) >
      If(input_1 < input_3, input_1, input_3),
      If(input_0 < input_2, input_0, input_2),
      If(input_1 < input_3, input_1, input_3)),
   If(If(input_0 > input_2, input_0, input_2) <
      If(input_1 > input_3, input_1, input_3),
      If(input_0 > input_2, input_0, input_2),
      If(input_1 > input_3, input_1, input_3)))

If(If(If(input_0 < input_2, input_0, input_2) >
      If(input_1 < input_3, input_1, input_3),
      If(input_0 < input_2, input_0, input_2),
      If(input_1 < input_3, input_1, input_3)) >
   If(If(input_0 > input_2, input_0, input_2) <
      If(input_1 > input_3, input_1, input_3),
      If(input_0 > input_2, input_0, input_2),
      If(input_1 > input_3, input_1, input_3)),
   If(If(input_0 < input_2, input_0, input_2) >
      If(input_1 < input_3, input_1, input_3),
      If(input_0 < input_2, input_0, input_2),
      If(input_1 < input_3, input_1, input_3)),
   If(If(input_0 > input_2, input_0, input_2) <
      If(input_1 > input_3, input_1, input_3),
      If(input_0 > input_2, input_0, input_2),
      If(input_1 > input_3, input_1, input_3)))

If(If(input_0 > input_2, input_0, input_2) >
   If(input_1 > input_3, input_1, input_3),
   If(input_0 > input_2, input_0, input_2),
   If(input_1 > input_3, input_1, input_3))

unsat
