64.58/66.75	unsat
