answer i think should be A ...it may not satisfy progress....say we have implemented synchronization for p1,p2..such that they will alter p1,p2...again p1,p2 and so on.....
but say p2 process is very small and may need less access to CRITICAL SECTION but P1 is very lagre and needs CRITICAL SECTION many number of times...in such cases....due to p2 ...p1 may not allowed to enter into CS.....as it is strict alteration