68.78/69.29	unsat
