6.1202

It is clear that we could have used for this purpose contradictions instead of tautologies.