69.17/69.42	unsat
