Timeout/Unknown for test 1523 with Z3 4.8.9

With Z3 4.8.9 one constraint of test 1523 now returns Unknown:

:z3-double-check x = %i.(i:1..10|i+i) & x[{5,j}]={16,10}