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