loading SCIP...
25 18735 true
3 7 10 11 13 15 23 30 31 35 47 51 60 61 71 73 78 80 82 84 87 88 90 94 99