69.35/69.63	unsat
