does anyone know the right ffmpeg or mencoder commands to speed up an MKV video file by 20X while reducing its file size accordingly? Bonus if it doesn't take twice the lifetime of the universe to do it thank you! -jake