#include <iostream>

int main() {
	int N;
	std::cin >> N;
	while (N--) {
		int a;
		std::cin >> a;
	}
	int X;
	std::cin >> X;
	std::cout << "Yes" << std::endl;
	for (int i = 0; i < 4; i++) std::cout << X << ' ' << X << ' ' << X << ' ' << X << std::endl;
}