adapt.sat