69.33/69.83	unsat
