67.50/69.87	unsat
