processes and semaphores order of excecution valid?

Question

so let\'s say i have 2 types of processes. and 2 semaphores S1=2, S2=0 as initial values.

PROCESS D:
down(s1);
up(s2);

PROCESS E:
dow