64.63/66.61	unsat
