66.59/66.85	unsat
