loading SCIP...
24 20844 true
1 3 13 14 16 23 25 27 32 33 34 42 44 54 55 59 62 63 68 76 84 88 90 93