64.58/68.73	unsat
