2Sat intermediate