64.68/66.77	unsat
