fn main() {
	let mut s = String::new();
	std::io::stdin().read_line(&mut s).ok();
	let mut n: Vec<i64> = s.split_whitespace().flat_map(str::parse).collect();
	if n[3] > 9 {
		println!("Impossible");
		return;
	}
	println!("Possible");
	let c = 100;
	let mut r = 1;
	let mut a = 0;
	while n[1] >= c {
		a += c * r;
		n[1] -= c;
		r *= 2;
	}
	a += n[1] * r;
	r *= 2;
	a += n[0].min(c - n[1]) * r;
	n[0] -= n[0].min(c - n[1]);
	while n[0] >= c {
		r *= 2;
		a += c * r;
		n[0] -= c;
	}
	a += n[0] * r * 2;
	println!("{}", a * 50);
}