SAT almost done. Need to implement init and searching. Table function should be done also.
worked on SAT init and looking at the table function again.  Double check the math on the sat size