68.85/69.91	unsat
