#include <bits/stdc++.h>
using namespace std;
#define int long long

#define rep(i, a, b) for(int i = a; i < (b); ++i)
#define all(x) begin(x), end(x)
#define sz(x) (int)(x).size()
typedef long long ll;
typedef pair<int, int> pii;
typedef vector<int> vi;

void output(int x, int y){
	cout << "We need " << x << ' ';
	if(x == 1){
		cout << "truck and ";
	}
	else{
		cout << "trucks and ";
	}
	cout << y << ' ';
	if(y == 1){
		cout << "boat.\n";
	}
	else{
		cout << "boats.\n";
	}
}

signed main() {
	cin.tie(0)->sync_with_stdio(0);
	int a,b,c,d;
	cin >> a >> b >> c >> d;
	swap(c,d);
	for(int t = 0; t<=1000; t++){
		int n = t*a;
		if(n>=c && (n-c)%b == 0 && n-c >= d){
			int m = (n-c)/b;
			output(t,m);
			return 0;
		}
	}
	cout << "No solution.\n";
	return 0;
}