eval_two_distinct_solutions_fail.pat 52 Bytes