在解决合同纠纷的方式中，不以双方自愿为前提的是