loading SCIP...
15 37922 true
4 11 14 15 23 26 30 38 39 57 63 67 81 92 95