66.17/66.70	unsat
