Implmeneted contact manifold generation into SAT algorithm.