Which is correct?<br/><br/>(a) They were exhausted <u>but enjoyed themselves. </u><br/><br/>(b) They were exhausted <u>but they</u> enjoyed themselves