67.52/70.54	unsat
