loading SCIP...
27 14468 true
0 1 2 9 10 17 18 21 24 27 33 34 42 44 45 46 47 50 52 59 65 67 72 77 78 80 94