loading SCIP... 8 54985 true 2 4 12 21 32 41 47 83