66.35/66.91	unsat
