* satisfying , 4140 , ~~~~~~