69.04/69.29	unsat
