SatInstOf.java

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