Updates to the SAT report and smaller generations of K_8,C_5,C_5 graphs.