* satisfying , 4140 ,
~~~~~~