Unsat01.java

public class Unsat01 {
	public static void main(final java.lang.String[] args) {
		int N = 4;
		char[] input = new char[N];
		int x=input.length;
		assert (N < 4);
	}
}