#include<bits/stdc++.h>

#ifdef jlocal
#include<jdebug/debug.hpp>
#else
#define debug(...) 0;
#endif

using namespace std;
typedef long long ll;
typedef long double ld;
typedef unsigned long long ull;
typedef vector<int> vi;
typedef vector<ll> vll;
typedef pair<int,int> pii;
typedef pair<ll,ll> pll;
typedef vector<pii> vii;
typedef vector<pll> vpl;
#define all(x) x.begin(),x.end()

const ld pi = 3.14159265358979323846L;
const ld sqrt2 = 1.41421356237309504880L;
const ll p = 73;
const ll mod = 1e9 + 123;

const int maxn = 10000;
const int maxm = 100;

int dp[maxm+1][maxn+1] = {0};

void solve(int caso){
	//altura maxima y numero de pallets
	int n, m; cin >> n >> m;

	//vector<vi> dp(m+1, vi(n+1, 0));

	//Caso base, 1 pallet, pruebo todas las alturas
	for(int j=0; j<=n; j++){
		dp[1][j] = j;
	}

	// encontrar la cantidad

	//para cada pallet
	for(int k = 2; k <= m; k++){
		//para cada distancia (d)
		for(int d = 1; d <= n; d++){
			int minimo = n+1;
			//para cada altura (h)
			for(int h = 0; h < d; h++){
				int maximo = max(dp[k-1][h],dp[k][d-h-1]);
				minimo = min(minimo,maximo);
			}
			dp[k][d] = 1 + minimo;
		}
	}

	//encontrar el rango de valores

	// valores mas grandes al rango
	int lo = -1, hi = n+1;

	//reviso la ultima fila de mi dp
    for(int d=0; d<n; d++) {
		// calculo la dp basicamente
		int maximo = max(dp[m-1][d], dp[m][n-d-1]);
		// 
        if (maximo + 1 == dp[m][n]){
            hi = d+1;
            if (lo == -1)
                lo = d+1;
        }

    }
    cout << dp[m][n] << ' ';
    if (hi > lo)
        cout << lo << '-' << hi;
	else cout << lo;
    cout << endl;
}

int main(){
#ifndef jlocal
	ios::sync_with_stdio(0); cin.tie(0);
#endif

	int t = 1; //cin >> t;
	while(t--) solve(t);

    return 0;
}