UnsatInstOf.java

class UnsatInstOf {
  public static void main(String[] args)  { 
	  UnsatInstOf a = new UnsatInstOf();
    assert a.getClass() != UnsatInstOf.class;
  }
}