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