64.17/64.46	unsat
