Unsat04.java

public class Unsat04 {
	public static void main(final java.lang.String[] args) {
		int a[] = new int[4];
		a[0] = 42;
		assert (a[0] != 42);
	}
}