loading SCIP...
15 30859 true
14 15 19 20 21 44 47 61 63 69 70 78 87 93 97