61.68/66.91	unsat
