64.08/67.31	unsat
