forgot (check-sat)