The creaking door opens. Inside is the pitch black, deserted church and the team start to set up their specialist gear.
For UNSAT problems with 10 variables and 200 clauses it had the same issue as others: making up assignments.
，这一点在safew官方版本下载中也有详细论述
For multiple readers
Some people suggested online that Davidson, who was an executive producer on the film, should not have been invited to the ceremony. But Jones stressed: "The overriding irony is that this is the reason why we made the film in the first place."