loading SCIP...
15 35797 true
3 13 17 19 23 24 26 34 48 49 58 69 82 88 90