Bug fix in printing solutions for flatzinc.