68.69/69.58	unsat
