制約充足