People from cultures with strict social norms tend to be less skilled at being funny. These findings suggest that the ability to generate humor is not just an inborn personality trait, but a skill heavily shaped by the social rules of the environment in which a person lives.
黎智英欺詐案上訴得直：定罪及刑罰被撤銷，出獄時間提前
。safew官方下载对此有专业解读
For SAT problems with 10 variables and 200 clauses, it usually output SAT as expected, but the assignment was never valid (Examples: first, second). Once it claimed a SAT formula was UNSAT. For this reason I didn't bother testing with more variables for the SAT case.
Venusaur, Charizard and Blastoise