loading SCIP...
22 23781 true
0 3 8 24 25 32 34 37 38 39 42 44 48 57 63 65 71 78 90 91 93 95