loading SCIP... 8 52562 true 7 21 30 42 50 55 68 86