3-sat update