#include <iostream>
#include <algorithm>
#include <bitset>
#include <vector>
#include <cmath>
#include <string>
#include <set>
#include <map>
#include <unordered_map>
#include <sstream>
#include <iomanip>
#include <stdexcept>
#include <utility>
#include <deque>
using namespace std;
typedef long long ll;
typedef long double ld;

int gcd (int a, int b) {
    return b ? gcd (b, a % b) : a;
}

int main() {
    //these first two lines speed up input / output significantly
    ios_base::sync_with_stdio(0);
    cin.tie(0);

    ld a, b, c, d;

    cin>>a;
    cin>>b;
    cin>>c;
    cin>>d;


    if(a>(b+d)) {
        cout<<"No solution.";
    } else {
        
    ll t = ceil((c+d)/a);
    ll boats = ceil((a*t-d)/b);

    cout<<"We need "<<t<<" trucks and "<<boats<<" boats."   ; 

    }


}