zsolve does not find a solution to linear system with a single lattice point

[zajer]

Below is an example of a linear system that I know has a single solution but for some reason zsolve can't find it.
At some point I have began to question myself and have tested the number of lattice points using Latte.

I attach the input files for 4ti2-zsolve that I have prepared as well as the corresponding input file for Latte (as a list of hyperplane inequalities) .
(since github is checking file extensions files have been renamed in such a manner that riddle.mat was renamed to mat_riddle.txt
For simplicity I have also prepared a csv file that contains all constraints in human-readable format.

Am I doing something wrong or is it a bug?

mat_riddle.txt
rel_riddle.txt
rhs_riddle.txt
sign_riddle.txt
latte_riddle.txt
riddle.csv

EDIT: the input for latte should have 92 as the width dimension instead of 91 (is it possible to update the attached file?)