#include<stdio.h> int main() { int high,length,n=1; scanf("%d %d",&high,&length); float volume=3.14*length*length*high; while(volume<=20000) { n++; volume*=n; } printf("%d",n); }