16667.sat