Assignment 2 [pdf/LaTeX/Histogram]
CORRECTION: The decision heuristic in Problem 2 (Pigeonhole) should be
"Pick the first literal in the first unresolved clause and assign it true", not
"Pick the lowest-numbered unassigned variable and assign it true".
(The PDF file has been updated to reflect this correction.)

This correction makes the problem much easier than as originally stated.