Added the symmetric_binary_root problem.