loading SCIP...
18 29156 true
14 15 21 30 43 45 47 50 52 59 60 63 66 79 80 83 93 98