SAT finished

yay, now moving on to contact manifold.