51.15/51.70	unsat
