satisfy (137.900)