SATISFY I

0.0098 s.