aread_minimize/sat
