loading SCIP...
18 30297 true
8 12 18 21 27 28 30 37 38 43 49 55 57 60 67 73 77 97