SAT语法求解.In 1871 Joseph Lister noticed (when fruit and cheese