BKZ0386378671038092 Description