scheme.sat