loading SCIP...
28 13907 true
2 8 10 12 16 19 20 21 23 24 26 27 29 33 39 48 53 58 59 61 68 70 74 79 86 90 97 99