Gruber 2010 stratified by percentSAT