#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll = long long;
using ld = long double;

int main() {
  int a, b, c, d; cin >> a >> b >> c >> d;
  if (d >= 10) {
    cout << "Impossible" << endl;
    return 0;
  }
  cout << "Possible" << endl;
  int ans = 0;
  int i = 0, r = 100;
  while (b > 0) {
    int x = min(100, b);
    ans += 50 * x * (1 << i);
    r = 100 - b;
    b -= x;
    i++;
  }
  if (i > 0) i--;
  int x = min(r, a);
  ans += 100 * x * (1 << i);
  a -= x;
  i++;
  while (a > 0) {
    x = min(100, a);
    ans += 100 * x * (1 << i);
    a -= x;
    i++;
  }
  cout << ans << endl;
  return 0;
}