loading SCIP...
16 33593 true
0 5 23 33 34 40 49 55 58 59 63 68 85 92 94 99