p5.in -- p11.in:    Pigeonhole problems.
q10.in              10-Queens.
f[234].in           complete set on 2,3,4 variables.
