the solver works, BUG: when no solution the thng displayed is not
correct