loading SCIP...
19 30610 true
1 6 12 14 15 16 17 18 21 39 42 45 47 65 67 71 87 91 92