loading SCIP...
17 34625 true
3 5 15 19 23 24 31 44 45 50 62 65 77 87 92 93 96