Non-Optimal Multi-Agent Pathfinding Is Solved (Since 1984)