Unsat02.java

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