Moved all SAT objects to new package SAT