51.60/51.70	unsat
