Question: How many students have more than 115 credits?
SQL: SELECT T1.name FROM student AS T1 JOIN advisor AS T2 ON T1.id   =   T2.s_id GROUP BY T2.s_id HAVING T1.tot_cred  >  115