isolate.sat