The problem can be solved by angle chasing, by algebraic equations resulting from similar triangles, or by a combination of the two methods.
We first show that S,A,T are collinear. Because ASBK is cyclic, we have ∠SAB=∠SKB. From KS∥AC we get ∠SKB=∠C, so ∠SAB=∠C. Similarly ∠TAC=∠B, which shows that S,A,T are collinear as
∠SAT=∠A+∠B+∠C=180∘.
Quadrilateral SLMT is cyclic iff ∠KLM=∠ATM. But ∠ATM=∠C and ∠KLM=∠AML so MLST is cyclic if and only if ∠AML=∠C, which is equivalent to ML∥BC.

We will show in two ways that ML∥BC is equivalent to K being the midpoint of BC.
Version 1. Suppose ML∥BC. Because KM∥AB and KL∥AC, we have two parallelograms BKML and CKLM hence BK=ML=CK.
Reciprocally, if K is the midpoint of BC, then KM∥AB and KL∥AC imply that L and M are the mid-points of AB and AC, respectively. Hence ML is a midline in △ABC and so ML∥BC.
Version 2. By the Intercept Theorem, ML∥BC is equivalent to MCAM=LBAL. On the other hand, KL∥AC and MK∥AB imply
KBCK=LBALandMCAM=KCBK.
Hence, SLMT is cyclic if and only if KBCK=KCBK, i.e. CK=KB.
Solution 2. (based on a strategy by AngYang Li)
Denote lengths of segments as follows:
cb=∣AB∣=∣AC∣xy=∣AM∣=∣KL∣=∣AL∣=∣MK∣.
Since LK∥AC and MK∥AB, we have △MKC∼△ABC∼△LBK, hence
yb−x=cb=c−yxand soy=bc(b−x)andc−y=bc⋅x.(13)
∣KM∣⋅∣MT∣∣KL∣⋅∣LS∣=∣AM∣⋅∣MC∣=x(b−x)=∣AL∣⋅∣LB∣=y(c−y).
Finally, SLMT is cyclic iff △KLM∼△KTS, which in turn is equivalent to ∣KL∣∣KM∣=∣KT∣∣KS∣ which we rewrite as follows in equivalent ways
∣KM∣⋅∣KT∣=∣KL∣⋅∣KS∣∣KM∣2+∣KM∣⋅∣MT∣=∣KL∣2+∣KL∣⋅∣LS∣y2+x(b−x)=x2+y⋅(c−y)
(b−2x)(b2c2(b−x)+x)=0.
The last equation holds true iff b=2x, i.e. M is the midpoint of AC, which is equivalent to K being the midpoint of BC, as MK∥AB.