loading SCIP...
18 29453 true
3 4 7 9 13 25 29 39 41 44 48 50 55 56 72 75 87 96