51.38/53.81	unsat
