loading SCIP...
10 47625 true
4 9 15 38 59 62 63 70 75 96