sat_improve 57 133 231 41 114 129 170 103 259 110 149 189 93 47 245 -42 182 123 191 150 266 36 231 257 120 -52 153 78 175 140