5≤ -s/12 -3