loading SCIP...
22 25781 true
0 5 11 15 16 17 24 26 33 36 49 50 58 62 64 70 78 87 88 91 93 99