70.16/70.33	unsat
