loading SCIP...
13 39734 true
18 19 28 31 33 48 52 59 61 63 65 74 90