71.35/71.67	unsat
