loading SCIP...
14 32687 true
5 34 36 38 45 47 51 55 60 62 65 87 92 97