loading SCIP...
18 27719 true
6 7 9 10 12 16 21 22 23 30 38 53 65 70 83 84 90 91