kandi kenhi ku gahato ibyo mubitekerezo byubuntu problems are passed to solvers as nl files u rwanda ruhagarariwe n'ibigo bitatu