Implemented SAT questions