66.48/66.77	unsat
