Li-Fan Chen
says to
YSITD
給定一組公式F 一組資訊I 一個所求x 求x是否可求