loading SCIP...
18 28516 true
19 23 27 30 32 45 49 52 58 60 65 66 73 77 87 90 93 95