cnt ok uns fld to mo unk real time space max best uniq cosa2 444 304 304 140 129 2 9 119615 258866 426434 18275 15 11 btormc 444 271 271 173 173 0 0 21803 21786 24972 3648 235 4 avr 444 238 238 206 0 0 206 33238 96252 373422 37372 60 23 abcsuperprove 215 205 205 10 10 0 0 23217 211440 72181 24444 134 64