lamps.sat