Signalling the condition C wakes up the thread T1, then it has to reacquires the mutex M by locking it. In order to do so, T2 must release M first.
So the answer is, T1 wakes up on signal, waits to acquire M, T2 releases M, T1 acquires M, T1 and T2 execute concurrently.