UnsatTrivial.java

class UnsatTrivial {
  public static void main(String[] args)  { 
    assert false;
  }
}