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