1/*** 2!Test 3expected: !Error 4 type: EvaluationError 5***/ 6 7array [1..3] of int: a = [1, 2, 3, 4]; 8 9solve satisfy;