2:05:26
cnf4