69.48/69.80	unsat
