{[i,j] : 
	2i+6j>=9
	&& 5i-3j >= 0
	&& 2i-10j >= -15
	&& -2i+6j >= 3
	&& -2i-6j >= -17};