Error: Problem not found in database: find-critical-and-pseudocritical-edges-in-mst