BKZ0386242060042088 Description