66.43/66.62	unsat
