#include<iostream>

#define maxn 5003
#define maxm 21
#define inf 998244353

using
		namespace
					std;

int n,m;
int dp[maxn][maxm],l[maxn][maxm],r[maxn][maxm];

void prework(){
	
	//dp[i][0]=inf
	//dp[i][1]=i
	//dp[i][2]=min(max(dp[x][1],dp[y][2])), x+y=i
	//dp[i][j]=min(max(dp[x][j-1],dp[y][j])), x+y=i
	
	//l[i][1]=r[i][1]=1
	
	for(int i=0;i<maxn;i++) dp[i][1]=i-1;
	
	for(int i=0;i<maxn;i++) l[i][1]=r[i][1]=1;
	
	for(int j=2;j<maxm;j++){
		
		//dp[0][j]=0;
		dp[1][j]=0;
		dp[2][j]=1;
		
		for(int i=3;i<maxn;i++){
			
			dp[i][j]=inf;
			l[i][j]=inf,r[i][j]=-inf;
			
			for(int x=1;x<i;x++){
				
				int nxt=max(dp[x-1][j-1],dp[i-x][j])+1;
				
				if(nxt<=dp[i][j]){
					
					if(nxt==dp[i][j]){
						r[i][j]=x;
					}
					else{
						dp[i][j]=nxt;
						l[i][j]=r[i][j]=x;
					}
				}
			}
		}
	}
	
//	for(int i=1;i<=100;i++){
//		
//		for(int j=1;j<=10;j++){
//			
//			cout<<dp[i][j]<<' ';
//		}
//		cout<<endl;
//	}
}

signed main(){
	
	prework();
	
	cin>>n>>m;
	
	cout<<dp[n][m]+1<<' ';
	if(l[n][m]==r[n][m]){
		cout<<l[n][m]<<endl;
	}
	else{
		cout<<l[n][m]<<'-'<<r[n][m]<<endl;
	}
	
end:
	return EOF+1;
}