/kmines/solver/