loading SCIP...
13 36969 true
1 15 21 26 27 28 30 38 48 63 68 85 86