loading SCIP...
19 28906 true
3 10 17 20 29 41 45 58 59 65 68 71 74 83 87 90 92 94 96