#include<bits/stdc++.h>

using namespace std;
 
typedef long long int ll;
typedef long double ld;
#define f first
#define s second
#define pb push_back
#define pii pair<int, int>

 
const int N = 2e5 + 100;
const int inf = 1e9;
const ll mod =  998244353;




int main()
{
    int a, b, c, d;
    cin >> a >> b >> c >> d;
    for (int i = 1; i <= 1000; i++) {
        int tot = i * a;
        if (tot >= c + d) {
            int rem = tot - d;
            if (rem % b == 0) {
                cout << "We need " << i << " truck";
                if (i > 1) cout << "s";
                cout << " and " << rem / b <<  " boat";
                if (rem / b > 1) cout << "s.";
                else cout << ".";
                cout << "\n";
                return 0;
            }
        }
    }

    cout << "No solution.\n";
    return 0;
}