69.62/69.97	unsat
