12+0<3