64.64/66.09	unsat
