class SatCopy {
  int i;

  public static void main(String[] args)  { 
    SatCopy a = new SatCopy();
    a.i = 42;
    SatCopy b = a;
    assert b.i==41;
  }
}

class UnsatCopy {
  int i;

  public static void main(String[] args)  { 
    UnsatCopy a = new UnsatCopy();
    a.i = 42;
    UnsatCopy b = a;
    assert b.i==41;
  }
}

fix test case