UnsatConstructor.java

import java.util.Random;

class AAAA
{
  public int i;

  public AAAA(int i) {
    this.i = i;
  }
};


class UnsatConstructor 
{
	  public static void main(String[] args)
	  {
	    AAAA a = new AAAA(42);
	    assert a.i != 42;
	  }
}