Changed formatting to use NetBeans formatter.
Included Excel data table.
Included file with solutions for each satisfiable set.