loading SCIP...
29 9563 true
1 5 6 13 14 19 20 21 30 32 33 42 44 45 50 57 59 67 70 73 76 80 86 87 88 89 90 93 95