Li-Fan Chen says to YSITD
sat是什麼意思 至少有一個還是對於所有(?