62.41/64.40	unsat
