12x8drb5dx1130 - execution time: 0.312 sec.