loading SCIP...
25 19109 true
2 3 5 9 12 13 17 18 20 31 35 37 44 45 50 53 58 61 62 65 75 76 77 86 88