62.55/66.62	unsat
