71.73/74.00	unsat
