12drcbivasthv4 - execution time: 1.031 sec.