loading SCIP...
25 17718 true
2 5 10 19 21 22 23 27 31 33 34 35 37 38 47 55 66 67 71 79 80 89 91 92 99