69.22/70.49	unsat
