V
erified_
S
A
T
_
B
ased_
A
I
_
P
lanning.
S
et2_
J
oin_
R
B
T
HTML Presentation