solving proportion problems SAT