69.17/69.31	unsat
