69.22/70.65	unsat
