Find!
x1=p2=k1=l1 is usable / available to x2=p1 for purpose / end x3=p3 under conditions x4=k3; x1 is up for grabs.