trace.sat