p5.in -- p11.in:    Pigeonhole problems.
q10.in              10-Queens.
