loading SCIP... 9 42313 true 6 10 26 39 52 74 81 87 94