loading SCIP...
19 27375 true
6 8 12 15 19 21 28 29 30 32 41 43 45 47 49 52 61 95 96