// qdd on Jan 22, 2023

#ifdef qdd
#include <ringo>
#else
#include <bits/stdc++.h>
#define dbg(...)
#define dbgr(x, y)
#endif

using namespace std;

using ll = long long;

#define ALL(x) begin(x), end(x)

template <class T>
istream& operator>>(istream& is, vector<T>& v) {
  for (T& x : v) is >> x;
  return is;
}

template <class T>
ostream& operator<<(ostream& os, const vector<T>& v) {
  bool f = 0;
  for (const T& x : v) (f ? os << ' ' : os) << x, f = 1;
  return os;
}

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

void sol() {
  int a, b, c, d;
  cin >> a >> b >> c >> d;
  for (int x = 0; x <= 10000; x++) {
    if ((c + d + x) % a == 0 && (c + x) % b == 0) {
      output((c + d + x) / a, (c + x) / b);
      return;
    }
  }
  output(-1, -1);
}

int main() {
  ios::sync_with_stdio(false);
  cin.tie(nullptr);
  sol();
  return 0;
}