($c,$d)=glob<>;
$a=($c*20+$d*-8)/13;
$b=($c*-7+$d*21)/13;
$a=$d/(1/4),$b=0 if $b<0;
$a=0,$b=$c/(2/7) if $a<0;
print$a*1000+$b*2000