lock.sat