按理说 F 一样要先上链，否则注资的 input 指向双方各自的 UTXO 可能会失效。