adding 3-sat assignment