67.38/70.55	unsat
