67.35/70.40	unsat
