loading SCIP...
21 27515 true
6 13 15 16 19 21 27 33 47 53 55 56 59 67 70 76 78 81 87 95 96