oracle.sat