loading SCIP...
17 31593 true
5 9 13 15 22 26 39 45 47 48 51 56 66 70 78 92 93