This JCT has finally come down

0.0037 target reached!$JCT #JCT