70.00/70.10	unsat
