52.00/55.09	unsat
