68.83/70.33	unsat
