loading SCIP...
18 30062 true
18 19 27 29 31 33 37 44 49 52 54 59 62 70 73 77 80 86