67.39/67.66	unsat
