loading SCIP...
19 27438 true
0 11 20 22 23 25 39 46 59 72 73 75 77 83 87 88 93 97 99