y*3<(1-y)*8