awk '$0=int(($2+$1-1)/$1)'