crystal.sat