manabase_solver
