Implement SAC3; not compiling