What is 25.2<1.5y+1.2