UnsatInstanceOf1.java

class A extends Exception {
}

class UnsatInstanceOf1 {
	public static Exception myA = new A();

	public static void main(String[] args) {
		if (myA instanceof A) {
			assert false;
		} 
	}
}