#include <bits/stdc++.h>
using namespace std;
using lint = long long int;
template<class T = int> using V = vector<T>;
template<class T = int> using VV = V< V<T> >;
template<class T> void assign(V<T>& v, int n, const T& a = T()) { v.assign(n, a); }
template<class T, class... U> void assign(V<T>& v, int n, const U&... u) { v.resize(n); for (auto&& i : v) assign(i, u...); }

int main() {
  cin.tie(NULL); ios::sync_with_stdio(false);
  int a, b, c, d; cin >> a >> b >> c >> d;
  if (d >= 10) return cout << "Impossible" << '\n', 0;
  int s = 50, res = 0;
  for (int i = 0; i < a + b; i++) {
    res += (i < b ? 1 : 2) * s; 
    if (i % 100 == 99) s *= 2;
  }
  cout << "Possible" << '\n';
  cout << res << '\n';
}