64.69/64.82	unsat
