loading SCIP...
25 16968 true
1 2 3 13 15 17 21 27 28 29 31 32 34 40 48 50 53 55 61 64 67 69 87 90 96