Number of solutions for search in flazinc

Correcting right setting of number of solutions for the last search in
flazinc.