loading SCIP...
25 17078 true
4 7 11 17 20 21 23 32 33 40 43 54 60 67 71 72 75 76 77 83 87 90 95 97 99