Verify (valid or not valid) using resolution the following reasoning: "Every student in the SCIS is a CS student or an IT student. Therefore there is a student in the SCIS being a CS student or an IT student." Note: To model this problem, please use the following predicates: S(x): x is a student; SCIS(x): x is in SCIS; CS(x): x is CS student; IT(x): x is an IT student