working on SAT
working out init function for SAT