13 seconds should do it. On my TX-30X calculator I did ,169*(8^1.62)+8. the .169 is the reciprocity correction for 400TX at 1 second indicated exposure and 1.62 is the same for all tested films.