loading SCIP...
34 5562 true
2 3 5 8 10 11 14 15 16 21 25 26 31 33 34 41 48 49 52 53 61 62 63 65 67 70 73 77 79 85 87 92 93 95