loading SCIP...
19 28172 true
1 6 11 14 15 16 25 26 30 35 36 44 46 48 55 60 62 74 78