Corrected output for unsatisfiable problems according to FlatZinc specifications.
Added command-line flag -a to select wheter output all or one solution(s).