Thomas Jefferson High School has 4 grades (9-12). You know the following facts:
a. There are 1800 students in grades 9-12.
b. There are twice as many freshmen as there are jun