68.31/69.57	unsat
