Updated benchmark
optimization for meaningless unwrap using unsafeCoerce
implemented *naive* F_4 Algorithm