What else can the UK do? Well they could write up the (a) and (b) options from December in a legal form, for a start.
You will have heard today, I imagine, the the EU guidelines say they will not start talking trade until the UK has signed a written legal text to protect the Irish border.