loading SCIP...
21 25047 true
3 6 14 16 20 22 25 30 41 45 49 55 59 76 77 79 82 84 92 94 95