Perfect matching complete uses Solve complete