The number of boys in ninth grade is 12 less than twice the number of girls. There are 51 students in ninth grade. How many are girls?