甲欲装修其房屋，与乙装修公司签订装修合同。双方约定，甲应于5月1日前负责腾出房屋。但5月1日甲未腾出房屋，则乙可以( )。