SatTrivial.java

class SatTrivial {
  public static void main(String[] args)  { 
    assert true;
  }
}