loading SCIP...
14 38343 true
14 38 39 40 46 50 55 59 65 67 68 87 92 97